2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Lecture Notes in Computer Science Programming and Software Engineering)
Andreas Blass
,
Nachum Dershowitz
,
Wolfgang Reisig
5.84 Mb
#2
Computer Science Logic, 7 conf., CSL '93
Egon Börger
,
Yuri Gurevich
,
Karl Meinke
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.87 Mb
#3
Abstract State Machines, Theory and Applications, ASM 2000
Yuri Gurevich
,
Philipp W. Kutter
,
Martin Odersky
,
Lothar Thiele
Категория:
CsLn_
3.80 Mb
#4
Tests and Proofs, 1 conf., TAP 2007
Bertrand Meyer
,
Yuri Gurevich
Категория:
CsLn_
4.38 Mb
#5
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Yuri Gurevich
,
Philipp W. Kutter
,
Martin Odersky
,
Lothar Thiele
Категория:
Computer Science
,
Computer Science
3.75 Mb